Can Regulatory Bodies Expect Efficient Help from Formal Methods?

In the context of EDEMOI -a French national project that proposed the use of semiformal and formal methods to infer the consistency and robustness of aeronautical regulations through the analysis of faithfully representative modelsa methodology had been suggested (and applied) to different (safety and security-related) aeronautical regulations. This paper summarizes the preliminary results of this experience by stating which were the methodology’s expected benefits, from a scientific point of view, and which are its useful benefits, from a regulatory body’s point of view.